Resolution theorem proving
[计] 归结定理证明
🧩 词语组成解析
[计] 验证, 证明\\n[医] 药力试验(顺势疗法的名词)
🗣️ 情景例句
At the Stewart family home on Linden Street yesterday,
昨天在Linden街Stewart 的家中，
Nothing is so certain as the unexpected.
天有不测风云，人有旦夕祸福。
The following year, it was taken to pieces and sent to America.
第二年，它被拆成若干小块，运到美国。